Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
751	i i Kerson Huang: Quantum Field Theory — Chap. huang8467c01 — [removed] — 8:33 — page 1 — le-tex i Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2010-02-22 21:03:13 Schrödinger equation Quantum harmonic oscillator Μ operator Quantum field theory Operator Hamiltonian Self-adjoint operator Linear temporal logic Mathematical descriptions of physical laws Physics Quantum mechanics Wave function
752	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic
753	A staged static program analysis to improve the performance of runtime monitoring Eric Bodden1 , Laurie Hendren1 , Ondˇrej Lhot´ ak2 1 Add to Reading List Source URL: www.bodden.de Language: English - Date: 2007-10-20 01:11:06 Aspect-oriented software development Aspect-oriented programming Mathematical logic Abstract algebra Linear algebra AspectJ Soot Enumeration Algorithm Algebra Software development Mathematics
754	Truth, modality and intersubjectivity Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 24 janvier 2007 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2007-06-06 03:18:03 Quantum mechanics Operator theory Linear algebra Quantum measurement Non-classical logic Quantum logic Hilbert space Quantum operation Vector space Mathematics Algebra Physics
755	On Symmetric Signatures in Holographic Algorithms b Jin-Yi Caia ∗and Pinyan Lub a Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-10-01 23:51:14 Multilinear algebra Matrices Symmetric matrix Combinatory logic Pfaffian Metric tensor Algebra Linear algebra Mathematics
756	Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-02-14 09:23:43 Non-classical logic Model theory Boolean algebra Deontic logic Modal logic Paraconsistent logic Negation Linear logic First-order logic Logic Mathematical logic Philosophical logic
757	Geometry of Interaction V: logic in the hyperfinite factor Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-01-20 03:39:53 Matrix theory Operator theory Determinant Symbol Normal distribution Trace Μ operator Von Neumann algebra Algebra Mathematics Linear algebra
758	Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction VI: a Blueprint for Transcendental Syntax Jean-Yves Girard Revised August 28, 2013 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2013-08-28 11:34:52 Philosophical logic A priori and a posteriori Analytic–synthetic distinction Mathematical proof Modal logic Immanuel Kant First-order logic Entailment Linear logic Logic Mathematical logic Philosophy
759	Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology, Palo Alto, California, USA {goldberg,havelund}@kestreltechnology.com Abstract. E AGLE is a very powerful logic for expressi Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:22 Temporal logic Linear temporal logic ALGOL 68 Monitor Model checking Agle Propositional calculus Logic Mathematical logic Software engineering
760	Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:56 Model theory Linear temporal logic Temporal logic Interpretation Modal logic Elementary class Structure Parity of a permutation Trace Logic Mathematics Algebra

UPDATE